<a href="https://program-transformation.org/GPCE13">
<img title="Generative Programming and Component Engineering 2013" src="https://program-transformation.org/pub/GPCE13/Banner/GPCE-2013.png" alt="GPCE2013" width="180" height="266"/>
</a>
|
|
|
See hotel website for more information. Tel: +1 317 632 1234 Fax: +1 317 616 6299 |
Abstract: A good model of a biological cell exposes secrets of the cell's signaling mechanisms, explaining diseases and facilitating drug discovery. Modeling cells is fundamentally a programming problem --- it's programming because the model is a concurrent program that simulates the cell, and it's a problem because it is hard to write a program that reproduces all experimental observations of the cell faithfully. In this talk, I will introduce solver-aided programming languages and show how they ease modeling biology as well as make programming accessible to non-programmers. Solver-aided languages come with constructs that delegate part of the programming problem to a constraint solver, which can be guided to synthesize parts of the program, localize its bugs, or act as a clairvoyant oracle. I will describe our work on synthesis of stem cell models in c. elegans and then show how our framework called Rosette can rapidly implement a solver aided language in several domains, from programming by demonstration to spatial parallel programming. Speaker Bio: Ras is a professor of computer science at UC Berkeley. He works on various flavors of program synthesis, from programming by demonstration, to sketching, design of programmer-accessible oracles, and compilers for declarative languages. |
Don is a professor of computer science at the University of Texas at Austin, working on product-line architectures and automated software development to improved programmer productivity, product quality, reduced maintenance cost, and enhanced application performance. The keynote is titled Dark Knowledge and Graph Grammars in Automated Software Design. |
Poster (31 x 46 cm or 12 x 18 inches) for display. |
Flyer (22 x 28 cm or 8.5 x 11 inches) for hand out. |
|
3 spaces * Main.yourWikiName - yourEmailAddress
web="all"
search: (Set to on
for hidden webs)
6 spaces * Set NAME = value
%WEBBGCOLOR%
, it gets expanded to #D0D0D0
.
WEBCOPYRIGHT
before WIKIWEBMASTER
since %WEBCOPYRIGHT%
uses the %WIKIWEBMASTER%
variable.
%VARIABLES%
.
Month: | Topic views: | Topic saves: | File uploads: | Most popular topic views: | Top contributors for topic save and uploads: |
---|---|---|---|---|---|
Feb 2008 | 2643 | 0 | 0 | 512 WebStatistics 302 WebHome 103 WebPreferences 102 WebNews 102 PEPMPublicity? 102 PEPMProgram? 75 ProgramCommittee? 70 CallForPapers 63 PaperSubmission? 63 ImportantDates 63 PreviousMeetings? | |
Jan 2008 | 9554 | 0 | 0 | 1433 WebHome 786 WebStatistics 660 PEPMProgram? 433 ProgramCommittee? 361 PEPMPublicity? 291 WebNews 283 PreviousMeetings? 283 RegistrationAndAccomodation? 265 PaperSubmission? 265 ImportantDates 260 InvitedTalks? | |
Dec 2007 | 7197 | 33 | 0 | 1314 WebHome 573 PEPMProgram? 329 WebStatistics 304 ProgramCommittee? 267 WebNews 254 PEPMPublicity? 233 AcceptedPapers 213 PaperSubmission? 204 InvitedTalks? 201 RegistrationAndAccomodation? 195 PreviousMeetings? | 32 RobertGlueck 1 OegeDeMoor |
Nov 2007 | 8164 | 17 | 0 | 1673 WebHome 430 WebStatistics 374 AcceptedPapers 344 ImportantDates 335 ProgramCommittee? 300 WebNews 275 PEPMProgram? 267 RegistrationAndAccomodation? 266 PaperSubmission? 255 InvitedTalks? 247 PEPMPublicity? | 17 RobertGlueck |
Oct 2007 | 8900 | 21 | 1 | 2412 WebHome 822 PaperSubmission? 709 ImportantDates 565 CallForPapers 440 ProgramCommittee? 369 ResearchPaperAdvice? 232 ToolPaperAdvice? 217 PEPMPublicity? 197 InvitedTalks? 196 WebNews 196 PreviousMeetings? | 22 RobertGlueck |
Sep 2007 | 7368 | 3 | 0 | 1582 WebHome 443 CallForPapers 404 ImportantDates 375 PaperSubmission? 358 ProgramCommittee? 332 WebStatistics 254 PEPMPublicity? 236 PreviousMeetings? 228 ResearchPaperAdvice? 200 InvitedTalks? 198 RegistrationAndAccomodation? | 3 RobertGlueck |
Aug 2007 | 12282 | 74 | 10 | 2082 WebHome 833 ProgramCommittee? 744 WebStatistics 741 CallForPapers 573 ImportantDates 513 PEPMPublicity? 433 PaperSubmission? 416 PEPMProgram? 409 PreviousMeetings? 383 ResearchPaperAdvice? 341 ConferenceOrganization | 81 RobertGlueck 3 OegeDeMoor |
Jul 2007 | 3115 | 144 | 0 | 405 WebHome 216 ProgramCommittee? 159 PreviousMeetings? 154 CallForPapers 150 WebStatistics 132 ImportantDates 117 PEPMNews? 112 WebIndex 99 PEPMPublicity? 96 ConferenceOrganization 80 ResearchPaperAdvice? | 144 RobertGlueck |
Jun 2007 | 5518 | 0 | 0 | 673 WebHome 316 WebStatistics 235 PEPMProgram? 172 PreviousMeetings? 154 WebNews 153 WorkshopVenue? 146 ProgramCommittee? 142 PaperSubmission? 134 PEPMPublicity? 131 AffiliatedMeetings? 130 AcceptedPapers | |
May 2007 | 4489 | 0 | 0 | 530 WebHome 524 WebStatistics 202 PEPMProgram? 126 PEPMPublicity? 116 WebNews 115 PreviousMeetings? 113 ProgramCommittee? 110 PaperSubmission? 107 RegistrationAndAccomodation? 98 AffiliatedMeetings? 98 WorkshopVenue? | |
Apr 2007 | 4460 | 0 | 0 | 606 WebHome 358 WebStatistics 172 PEPMProgram? 135 ProgramCommittee? 121 WebNews 121 PEPMPublicity? 121 ToolPaperAdvice? 119 PreviousMeetings? 115 CallForPapers 109 PaperSubmission? 105 WebChanges | |
Mar 2007 | 4825 | 0 | 0 | 593 WebHome 454 WebStatistics 202 PEPMProgram? 152 ProgramCommittee? 128 WebNews 118 PublicityList06? 116 PaperSubmission? 110 AffiliatedMeetings? 109 ResearchPaperAdvice? 108 WebChanges 103 PreviousMeetings? | |
Feb 2007 | 4464 | 0 | 0 | 661 WebHome 344 WebStatistics 261 PEPMProgram? 158 WebNews 158 ProgramCommittee? 128 PaperSubmission? 123 AffiliatedMeetings? 119 ResearchPaperAdvice? 118 CallForPapers 116 PEPMPublicity? 108 ToolPaperAdvice? | |
Jan 2007 | 5169 | 7 | 0 | 1040 WebHome 612 WebStatistics 462 PEPMProgram? 188 ProgramCommittee? 148 WebNews 133 PEPMPublicity? 123 AffiliatedMeetings? 114 CallForPapers 113 AcceptedPapers 112 PaperSubmission? 111 ResearchPaperAdvice? | 7 EelcoVisser |
Dec 2006 | 4452 | 17 | 0 | 1122 WebHome 398 PEPMProgram? 164 ProgramCommittee? 140 AcceptedPapers 134 RegistrationAndAccomodation? 126 ResearchPaperAdvice? 118 WebStatistics 115 ImportantDates 114 CallForPapers 101 WebNews 98 ToolPaperAdvice? | 17 EelcoVisser |
Nov 2006 | 3436 | 5 | 0 | 782 WebHome 223 WebStatistics 154 ProgramCommittee? 141 ImportantDates 136 ResearchPaperAdvice? 125 CallForPapers 106 ToolPaperAdvice? 97 PEPMProgram? 88 AffiliatedMeetings? 88 InvitedTalks? 83 PEPMPublicity? | 5 EelcoVisser |
Oct 2006 | 3880 | 8 | 0 | 1065 WebHome 262 ImportantDates 252 CallForPapers 201 PaperSubmission? 162 ProgramCommittee? 134 ResearchPaperAdvice? 121 WebStatistics 111 PEPMPublicity? 101 PreviousMeetings? 91 ToolPaperAdvice? 91 AffiliatedMeetings? | 8 EelcoVisser |
Sep 2006 | 2926 | 5 | 0 | 650 WebHome 176 CallForPapers 146 ImportantDates 136 WebStatistics 116 ProgramCommittee? 95 ResearchPaperAdvice? 82 PEPMPublicity? 76 InvitedTalks? 72 PaperSubmission? 69 PreviousMeetings? 67 ToolPaperAdvice? | 5 EelcoVisser |
Aug 2006 | 4938 | 0 | 0 | 786 WebHome 268 CallForPapers 213 WebStatistics 195 ProgramCommittee? 176 PaperSubmission? 171 WebChanges 155 ImportantDates 151 PEPMPublicity? 148 PreviousMeetings? 131 WebNotify 124 PEPMProgram? | |
Jul 2006 | 7014 | 0 | 0 | 868 WebHome 350 ProgramCommittee? 337 WebStatistics 334 CallForPapers 235 PaperSubmission? 213 PreviousMeetings? 206 PEPMPublicity? 194 ImportantDates 189 WebChanges 180 WebNotify 175 RegistrationAndAccomodation? | |
Jun 2006 | 4150 | 29 | 2 | 827 WebHome 261 CallForPapers 233 ProgramCommittee? 164 WebStatistics 159 ImportantDates 136 PreviousMeetings? 125 ResearchPaperAdvice? 119 PaperSubmission? 116 WebChanges 114 PEPMPublicity? 104 RegistrationAndAccomodation? | 31 EelcoVisser |
May 2006 | 2620 | 80 | 0 | 427 WebHome 138 ProgramCommittee? 138 CallForPapers 103 PreviousMeetings? 103 ImportantDates 78 WorkshopVenue? 77 ResearchPaperAdvice? 74 WebChanges 72 WebLeftBar 69 WebNotify 69 AffiliatedMeetings? | 80 EelcoVisser |
Apr 2006 | 15023 | 8 | 0 | 3330 WebHome 1250 CallForPapers 781 WebStatistics 571 ImportantDates 504 ConferenceOrganization 486 CallForTechTalks 468 CallForDemonstrations? 443 CallForWorkshops? 414 WebNews 397 ElectronicSubmission? 393 WebChanges | 8 ToddVeldhuizen |
Mar 2006 | 10528 | 1 | 0 | 2345 WebHome 871 CallForPapers 667 WebStatistics 376 ImportantDates 343 CallForTechTalks 325 CallForWorkshops? 325 ConferenceOrganization 310 WebNews 263 CallForDemonstrations? 255 WebChanges 244 WebPreferences | 1 EelcoVisser |
Feb 2006 | 6534 | 0 | 0 | 1541 WebHome 550 CallForPapers 397 WebStatistics 258 ImportantDates 235 CallForTechTalks 226 ConferenceOrganization 215 CallForDemonstrations? 212 CallForWorkshops? 200 WebNews 139 WebLeftBar 129 WebPreferences | |
Jan 2006 | 6593 | 129 | 5 | 1553 WebHome 494 CallForPapers 422 WebStatistics 315 ImportantDates 240 WebNews 223 ConferenceOrganization 219 CallForTechTalks 197 WebPreferences 191 CallForWorkshops? 187 WebLeftBar 152 WebChanges | 116 EmirPasalic 17 ToddVeldhuizen 1 ChristaSchwanninger |
Dec 2005 | 5873 | 38 | 0 | 1603 WebHome 535 WebStatistics 292 WebNews 246 CallForPapers 230 WebLeftBar 204 WebPreferences 194 ImportantDates 179 ConferenceHeader 166 WebIndex 160 CallForTechTalks 156 PEPMNews? | 37 EmirPasalic 1 ChristaSchwanninger |
Nov 2005 | 3943 | 0 | 0 | 868 WebStatistics 849 WebHome 147 WebLeftBar 144 WebNews 127 ImportantDates 126 WebPreferences 116 WebChanges 114 CallForPapers 109 ConferenceOrganization 105 WebNotify 92 PEPMNews? | |
Oct 2005 | 3209 | 33 | 0 | 932 WebHome 175 WebNews 127 WebChanges 126 WebPreferences 118 PEPMNews? 115 WebLeftBar 111 ImportantDates 110 WebNotify 105 WebStatistics 101 ConferenceHeader 99 WebIndex | 31 ChristaSchwanninger 2 EugenioMoggi |
Sep 2005 | 1290 | 18 | 2 | 361 WebHome 73 WebNews 55 WebIndex 46 WebNotify 46 WebChanges 41 PEPMNews? 39 WebChanges500? 38 WebSearch 38 CallForPapers 37 WebPreferences 36 WebChanges100? | 17 EelcoVisser 3 PradeepikaIrangani |
Aug 2005 | 1526 | 32 | 1 | 481 WebHome 147 WebStatistics 94 ConferenceHeader 86 WebIndex 84 WebNews 75 WebPreferences 69 WebChanges 59 PEPMNews? 51 WebNotify 49 WebLeftBar 43 WebSearch | 20 EelcoVisser 7 MartinBravenboer 5 StanJarzabek 1 PradeepikaIrangani |
Jul 2005 | 1191 | 0 | 0 | 389 WebHome 102 WebNews 74 WebIndex 73 WebChanges 68 WebStatistics 67 PEPMNews? 57 ConferenceHeader 52 WebSearch 50 WebNotify 50 WebChanges500? 49 WebChanges200? | |
Jun 2005 | 923 | 0 | 0 | 375 WebHome 86 WebNews 68 WebStatistics 57 WebChanges 46 PEPMNews? 45 WebNotify 42 WebIndex 39 WebSearch 37 ConferenceHeader 26 WebLeftBar 24 WebChanges500? | |
May 2005 | 848 | 7 | 0 | 371 WebHome 53 WebNews 51 WebStatistics 45 ConferenceHeader 42 PEPMNews? 38 WebChanges 33 WebIndex 31 WebSearch 26 WebPreferences 24 WebNotify 24 WebLeftBar | 7 EelcoVisser |
Apr 2005 | 6648 | 36 | 0 | 2409 WebHome 975 CallForPapers 638 ElectronicSubmission? 298 GpceTutorialsAndWorkshops? 242 ImportantDates 181 ConferenceOrganization 148 CallForDemonstrations? 130 CallForWorkshops? 110 YoungResearchers? 102 GraphModelTransformations? 93 CallForTechTalks | 23 AndrewMalton 10 EugenioMoggi 2 RobertGlueck 1 EelcoVisser |
Mar 2005 | 4848 | 35 | 1 | 2091 WebHome 696 CallForPapers 202 ImportantDates 178 ElectronicSubmission? 153 ConferenceOrganization 152 CallForDemonstrations? 132 CallForWorkshops? 131 GpceTutorialsAndWorkshops? 106 CallForTechTalks 55 PEPMNews? 52 WebIndex | 29 EugenioMoggi 5 RobertGlueck 2 EelcoVisser |
Feb 2005 | 2975 | 7 | 0 | 1164 WebHome 364 CallForPapers 140 ImportantDates 137 ConferenceOrganization 95 CallForWorkshops? 84 CallForDemonstrations? 72 CallForTechTalks 50 PEPMNews? 39 WebNews 39 WebChanges 38 WebNotify | 7 EugenioMoggi |
Jan 2005 | 2719 | 19 | 0 | 1375 WebHome 211 CallForPapers 169 ConferenceOrganization 135 ImportantDates 98 CallForWorkshops? 74 CallForTechTalks 59 PEPMNews? 45 WebIndex 42 WebChanges 35 WebNews 30 CallForDemonstrations? | 12 EugenioMoggi 7 EelcoVisser |
Dec 2004 | 1546 | 68 | 0 | 707 WebHome 125 ImportantDates 92 ConferenceOrganization 67 ConferenceVenue 60 CallForWorkshops? 37 WebIndex 36 CallForTechTalks 34 WebPreferences 33 WebNews 32 PEPMNews? 25 WebChanges | 43 EugenioMoggi 13 JeffGray 10 EelcoVisser 2 MartinBravenboer |
Nov 2004 | 836 | 18 | 0 | 407 WebHome 77 ImportantDates 66 ConferenceOrganization 38 ConferenceVenue 31 PEPMNews 28 CallForPapers 25 WebNews 20 ForOrganizers? 19 WebIndex 9 CallForWorkshops? 8 ElectronicSubmission? | 11 EelcoVisser 7 EugenioMoggi |
Oct 2004 | 400 | 30 | 0 | 206 WebHome 50 ConferenceOrganization 38 ImportantDates 27 ConferenceVenue 17 ConferenceHeader 14 WebIndex 11 WebContents? 5 PrintCall? 4 WebNews 4 CallForPapers 2 GpceTutorials? | 27 EugenioMoggi 2 MoggiE 1 RobertGlueck |